On the foundation of analyzing to the net system, we improve traditional reachability analysis technique, and use time petri nets with inhibitor arcs to model ieee 802.2 llc 3 type protocol 在对该网系统进行分析的基础之上,发展了传统的可达分析技术。应用带抑止弧的时间petri网对ieee802.2llc3型协议进行了建模。